logical predicate造句

The speaker then produces the logical predicate which effects the proposed updating of the " referent ".
A class logic is a logical system which supports set construction using logical predicates with the class operator { . | . }.
Although a single neuron can in fact compute only a small number of logical predicates, it was widely known that networks of such elements can compute any possible boolean function.
All function specifications may be restricted by " preconditions " which are logical predicates over the input variables only and which describe constraints that are assumed to be satisfied when the function is executed.
The main mechanism for doing this is the " implicit function definition " in which, instead of a formula computing a result, a logical predicate over the input and result variables, termed a " postcondition ", gives the result's properties.
It's difficult to find logical predicate in a sentence. 用logical predicate造句挺难的

Lafont ( 1993 ) first showed how intuitionistic linear logic can be explained as a logic of resources, so providing the logical language with access to formalisms that can be used for reasoning about resources within the logic itself, rather than, as in classical logic, by means of non-logical predicates and relations.
On the other hand, a non-logical predicate symbol such as Phil ( " x " ) could be interpreted to mean " " x " is a philosopher ", " " x " is a man named Philip ", or any other unary predicate, depending on the interpretation at hand.
What still puzzles me, is that the esatblishment of Goedel's numbering seem to require the use of primitive recursive functions, which again require the addition of non-logical predicates . . . I guess it can be done somehow without that, but I still don't understand how . talk ) 05 : 34, 16 June 2016 ( UTC)